<div style='margin: 6px 10%; border: medium solid #ff0000; padding: 2px; color: red'>
Warning: This site will be down for upgrades on Friday, July 20th, starting at 5pm server time (GMT-7).
Please take steps to ensure that none of your work is lost.
</div>
